1. Applications of process algebra
پدیدآورنده: edited by J.C.M. Baeten
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004


2. Applied mathematics and Parallel Computing
پدیدآورنده: Herbert Fischer, Bruno Riedmuller, Stefan Schaffler )editors(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Parallel computers , Mathematics
رده :
QA
76
.
9
.
M35
A66
1996


3. Array grammars, patterns and recognizers
پدیدآورنده: editor P.S.P. Wang
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
M35
A77
1989


4. Mathematical foundations of parallel computing
پدیدآورنده: Voevodin, Valentin V.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel processing )Electronic computers( , Computer science - Mathematics
رده :
QA
76
.
58
.
V63
1992


5. Petri net algebra
پدیدآورنده: Best, Eike
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001


6. Petri net algebra
پدیدآورنده: Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010


7. Petri net algebra
پدیدآورنده: Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001

